phase1: use a different name for the Git clone work directory
authorJo-Philipp Wich <[email protected]>
Tue, 15 Nov 2016 13:28:41 +0000 (14:28 +0100)
committerJo-Philipp Wich <[email protected]>
Tue, 15 Nov 2016 13:28:41 +0000 (14:28 +0100)
commitd5c7fd616e540c6c775101fc2312ab80c0d2ae64
tree59a71caafe4b43fe245bf2613ba7a57e738f1a90
parent6fde0820a1b5f151d034d0d9679ce18b32a4d926
phase1: use a different name for the Git clone work directory

Upon first start, the build master expects a clean directory to issue
git init --bare in, therfore we cannot use the clone used for bootstrapping.

Signed-off-by: Jo-Philipp Wich <[email protected]>
phase1/master.cfg